Paolo Felli
felli@dis.uniroma1.it
Contact and personal infos:
Research Area:
Automated synthesis, Model-checking
Interests:
- Phone: +39 06 77274 107
- Email: felli@dis.uniroma1.it
- Personal site: http://www.dis.uniroma1.it/~felli/
Research Area:
Automated synthesis, Model-checking
Interests:
| Participation to PhD school | |||||
| Description | External site | Year | |||
| 23th European Summer School in Logic, Language and Information (ESSLLI). SLO. | 2011 | ||||
| 22th European Summer School in Logic, Language and Information (ESSLLI). DK. | 2010 | ||||
| Participation to national and international research projects | |||||
| Description | External site | Year | |||
| Artifact-Centric Service Interoperation | Link | 2010, 2011 | |||
| Participation to conferences/workshops | |||||
| Description | External site | Year | |||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR-10). CA | 2010 | ||||
| The 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-10). CA. | 2010 | ||||
| 20th International Conference on Automated Planning and Scheduling (ICAPS-10). CA. | 2010 | ||||
| 9th International Conference on Business Process Management (BPM-11). FR. | 2011 | ||||
| Long stay visiting research periods | |||||
| Description | External site | Year | |||
| Imperial College London. Aug-Sep 2010. | 2010 | ||||
| Title | Autor(s) | Published in | Year | |
|---|---|---|---|---|
| 1 | Synthesizing agent protocols from LTL specifications against multiple partially-observable environments. | Giuseppe De Giacomo, Paolo Felli, Alessio Lomuscio | KR-12: 13th International Conference on Principles of Knowledge Representation and Reasoning. | 2012 |
| 2 | Foundation of Relational Database Verification | B. Bagheri Hariri, D. Calvanese, G. De Giacomo, R. De Masellis, P. Felli | BPM-11: Proc. of 9th International Conf. on Business Process Management | 2011 |
| 3 | Agent composition synthesis based on ATL | Giuseppe De Giacomo, Paolo Felli | AAMAS-10: Proc. of the 9th International Conference on Autonomous Agents and Multiagent Systems | 2010 |
| 4 | Two-player game structures for generalized planning and agent composition. | Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, and Sebastian Sardina | AAAI-10: Proc. of the Twenty- Fourth AAAI Conference on Artificial Intelligence. | 2010 |
Latest News
Random Student
Click here to submit a candidature to becom PhD student.
